Search results for "while-language"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
30	Mingsheng Ying, Yuan Feng 0001	A Flowchart Language for Quantum Programming.	IEEE Trans. Software Eng.	2011	DBLP DOI BibTeX RDF	Quantum programming, flowchart language, while-language, structured programming
17	Colin Stirling	A Compositional Reformulation of Owicki-Gries's Partial Correctness Logic for a Concurrent While Language.	ICALP	1986	DBLP DOI BibTeX RDF
15	Sergey Goncharov 0001, Renato Neves	An Adequate While-Language for Hybrid Computation.	CoRR	2019	DBLP BibTeX RDF
15	Sergey Goncharov 0001, Renato Neves	An Adequate While-Language for Hybrid Computation.	PPDP	2019	DBLP DOI BibTeX RDF
15	Robert Glück, Tetsuo Yokoyama	A Minimalist's Reversible While Language.	IEICE Trans. Inf. Syst.	2017	DBLP DOI BibTeX RDF
15	Cláudio Vasconcelos, António Ravara	The While language.	CoRR	2016	DBLP BibTeX RDF
15	Kohei Suenaga, Ichiro Hasuo	Programming with Infinitesimals: A While-Language for Hybrid System Modeling.	ICALP (2)	2011	DBLP DOI BibTeX RDF
15	David Clark 0001, Sebastian Hunt, Pasquale Malacaria	Quantified Interference for a While Language.	QAPL	2004	DBLP DOI BibTeX RDF
15	Colin Stirling	A Generalization of Owicki-Gries's Hoare Logic for a Concurrent while Language.	Theor. Comput. Sci.	1988	DBLP DOI BibTeX RDF
5	Michael Böhm, Jürgen Freitag, Bernd Owsnicki-Klewe, Guido Pfeiffer, Jörg Raasch	Objektorientierung in der Informatikausbildung auf der Basis von Smalltalk.	Inform. Spektrum	1997	DBLP DOI BibTeX RDF	Informatik-Ausbildung, Java, Integration, Smalltalk, Objektorientierung
5	Ketil Stølen	A Method for the Development of Totally Correct Shared-State Parallel Programs.	CONCUR	1991	DBLP DOI BibTeX RDF
5	Daniel Wasserrab, Denis Lohner, Gregor Snelting	On PDG-based noninterference and its modular proof.	PLAS	2009	DBLP DOI BibTeX RDF	modularity, program slicing, noninterference, correctness proof, program dependence graph
5	Don Box	Life After the Object Wars.	TOOLS (30)	1999	DBLP DOI BibTeX RDF
4	Prabhat Mishra 0001, Heon-Mo Koo, Zhuo Huang	Language-driven Validation of Pipelined Processors using Satisfiability Solvers.	MTV	2005	DBLP DOI BibTeX RDF
4	Markus Müller-Olm, Andreas Wolf 0004	On the Translation of Procedures to Finite Machines.	ESOP	2000	DBLP DOI BibTeX RDF	resource-limitation, verification, compiler, refinement, correctness, procedure, predicate transformer
4	J. W. de Bakker, Franck van Breugel, Arie de Bruin	Comparative Semantics for Linear Arrays of Communicating Processes: A Study of the UNIX Fork and Pipe Commands.	MFCS	1993	DBLP DOI BibTeX RDF
2	Keiko Nakata 0001, Tarmo Uustalu	Trace-Based Coinductive Operational Semantics for While.	TPHOLs	2009	DBLP DOI BibTeX RDF
2	Lennart Beringer, Martin Hofmann 0001	Secure information flow and program logics.	CSF	2007	DBLP DOI BibTeX RDF
2	Reiner Hähnle, Jing Pan, Philipp Rümmer, Dennis Walter	Integration of a Security Type System into a Program Logic.	TGC	2006	DBLP DOI BibTeX RDF
2	Mads Dam	Decidability and proof systems for language-based noninterference relations.	POPL	2006	DBLP DOI BibTeX RDF	intransitive noninterference, information flow, language-based security, noninterference, multi-level security
2	Bernhard Reus, Thomas Streicher	About Hoare Logics for Higher-Order Store.	ICALP	2005	DBLP DOI BibTeX RDF
2	Tjark Weber	Towards Mechanized Program Verification with Separation Logic.	CSL	2004	DBLP DOI BibTeX RDF	Separation Logic, Interactive Theorem Proving, Formal Program Verification